An introduction to program synthesis
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·3h·
Discuss: DEV
🏗️Cranelift
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·12h
🎮Language Ergonomics
From ASTs to RakuAST to ASTQuery
github.com·1d·
Discuss: DEV
📋Souffle Datalog
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·3h·
Discuss: DEV
📚Self-Documenting Code
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·2h·
Discuss: Hacker News
📚Self-Documenting Code
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
🔗 Setting up Go templ with Tailwind, HTMX and Docker
yellowduck.be·1d
🚂Cranelift Backend
The pirate-based logic of Rust shared references
ais523.me.uk·22h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·32m
⚡Performance
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Top 38 .NET interview questions asked in 2025
dotnetinterviews.com·3h·
Discuss: Hacker News
🎭Racket
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·12h
🔍ML Language
SOLID Principles for Python Developers
dev.to·2h·
Discuss: DEV
🎭Racket Modules
What happens when you run a program?
dev.to·59m·
Discuss: DEV
📜Bytecode Interpreters
Productive AI Programming Using Forced Context Distillation
jx0.ca·4h·
Discuss: Hacker News
💬Interactive REPLs